Вывод типов (англ. type inference) — в программировании возможность компилятора самому логически вывести тип значения у выражения. Впервые механизм вывода типов был представлен в языке ML, где компилятор всегда выводит наиболее общий полиморфный тип для всякого выражения. Это не только сокращает размер исходного кода и повышает его лаконичность, но и нередко повышает повторное использование кода.
Все значения словосочетания «вывод типов»Поскольку научные исследования, как правило, не дают однозначных выводов типа «это хорошо, а это плохо», особое внимание уделяется оценке их методологии и степени доказательности.
Стремясь дойти до самой сути, он не любил неопределённости, вялых выводов типа «играть можно», «заслуживает внимания» или «прямого опровержения вроде не видно», и всегда старался достигнуть конкретных результатов.
– Так ты, я смотрю, кошелёк и не собираешься возвращать правообладателю? – глядя на пустой кошелёк в руках незнакомца, сделал вывод тип за рулём.